退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:精细化过渡系统的分区{PLTL}模型检查
Julliand, Jacques; Masson, Pierre-Alain; Oudot, Emilie;
机译:分区PLTL模型检查,以完善转换系统
机译:橄榄石/熔体过渡金属分配,熔体组成和熔体结构-碱土金属硅酸盐体系中的熔体聚合和Q(n)形态
机译:Fe-C-X_i系统中共析铁素体的分区生长与未分区生长之间的过渡
机译:公平过渡系统的完善验证可有助于PLTL模型检查
机译:用于系统验证的符号模型检查及其在决策表和分布式协作发布系统中的应用。
机译:相分配的动力学。两水相系统中影响大鼠肝细胞器分配的参数的研究。
机译:在一个或多个数据处理系统中的逻辑分区之间转换网络业务的方法,系统和计算机程序产品
机译:在一个或多个数据处理系统中的逻辑分区之间转换网络流量的方法,系统和计算机程序产品
机译:在一个或多个数据处理系统中的逻辑分区之间转换网络流量
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。